// 为MapMatrix<>返回的二维元组生成csv或xls文件，然后在表格软件中分析该矩阵

// 为MapMatrix<>返回的二维元组添加首行和首列(标题行与标题列)
// 提示1: 向元组中添加新项的方法是使用展开运算(...), 结果会是得到一个新的元组
// type X = [X, ...T]

// 提示2: 新的泛型工具需要添加一个类型约束，以使得元组在展开时通过类型检查，如下:
type MapMartix2<Source extends any[]> = {}
